退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于模型转换的形式验证技术:三维分类
Amrani, Moussa; Combemale, Benoît; Lúcio, Levi; Selim, Gehan; Dingel, Jürgen; Le Traon, Yves; Vangheluwe, Hans; Cordy, James R.;
机译:行为模型到模型转换的形式验证技术
机译:基于功能的软件模型形式验证技术分类
机译:研究模型转换形式验证的三维方法
机译:基于图的模型转换的形式验证
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:使用Information211系统技术正式规范和程序转换来设计OsI CCR协议的实现
机译:用于正式验证的闩锁建模技术
机译:通过权威模型的转换对系统行为进行建模的技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。